#include <stdio.h>
#include <stdint.h>
extern uint32_t rust_add(uint32_t a, uint32_t b);

int main() 
{
	int val;
	val = rust_add(1,2);
	printf("val:%d.\n", val);
	return 0;
}
